Institute for Logic - PDFSEARCH.IO - Document Search Engine

Institute for Logic
Results: 325

#	Item
141	ETSI TRV9Technical Report Digital cellular telecommunications system (Phase 2+); Universal Mobile Telecommunications System (UMTS); LTE; Add to Reading List Source URL: www.etsi.org Language: English - Date: 2010-01-27 08:46:01 Signaling System 7 Universal Mobile Telecommunications System Standards organizations Videotelephony 3GPP Mobile Application Part Customised Applications for Mobile networks Enhanced Logic Telecoms & Internet converged Services & Protocols for Advanced Networks European Telecommunications Standards Institute Telephony Electronic engineering Technology
142	Elements of a Computational Theory of Location Werner Kuhn Institute for Geoinformatics University of Münster Robert-Koch-Str, DMünster, Germany Tel. +, Fax + Add to Reading List Source URL: itcnt05.itc.nl Language: English - Date: 2005-02-27 17:00:00 Logic Information science Knowledge representation Technical communication Cartography Mereology Ontology Web Ontology Language Localization Semantic Web Science Information
143	Journal of Pragmatics–432 www.elsevier.com/locate/pragma Literally speaking Michael Israel* Max Planck Institute for Evolutionary Anthropology, Inselstrasse 22-26, DLeipzig, Germany Add to Reading List Source URL: unfogged.com Language: English - Date: 2009-02-17 15:03:07 Analytic philosophy Meaning Pragmatics Philosophical logic Implicature Idiom Literal and figurative language Cooperative principle Word Linguistics Philosophy of language Semantics
144	ETSI TRV9Technical Report Digital cellular telecommunications system (Phase 2+); Universal Mobile Telecommunications System (UMTS); LTE; Add to Reading List Source URL: www.etsi.org Language: English - Date: 2010-01-27 06:16:22 Signaling System 7 Universal Mobile Telecommunications System Standards organizations 3GPP Videotelephony Customised Applications for Mobile networks Enhanced Logic Parlay Group Mobile Application Part European Telecommunications Standards Institute Telephony Technology Electronic engineering
145	Selected Topics in Communication and Action Jan van Eijck CWI & ILLC, Amsterdam October 25, 2014 Abstract Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2014-12-01 03:27:09 Reasoning Epistemology Knowledge representation Belief revision Institute for Logic Language and Computation Reason Probability Science Knowledge Logic
146	A Logic-based Approach to Cache Answerability for XPath Queries M. Franceschet1,2 and E. Zimuel1,2 1 Informatics Institute, University of Amsterdam, Add to Reading List Source URL: www.zimuel.it Language: English - Date: 2011-11-11 11:55:08 Data management XPath XQuery XML tree Microsoft SQL Server Bin XPath 1.0 Computing XML Web standards
147	Knowledge Preconditions for Plans Ernest Davis Courant Institute New York, New York Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2004-01-06 13:23:35 Epistemology Omniscience Philosophy Science Mind Modal logic Non-classical logic Philosophical logic
148	The Evolution of Combinatorial Phonology Willem Zuidema ∗ Institute for Logic, Language and Computation, University of Amsterdam Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands Bart de Boer 1 Add to Reading List Source URL: uvafon.hum.uva.nl Language: English - Date: 2009-05-06 07:31:26 Phonetics Perception Mental processes Evolution of language Evolutionary linguistics Combinatorics Self-organization Voice Phonology Science Linguistics Knowledge
149	Predicative Lexicographic Path Orders: Towards a Maximal Model for Primitive Recursive Functions∗ Naohi Eguchi Institute of Computer Science, University of Innsbruck, Austria Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:12 Mathematical logic Recursion Theory of computation Functions and mappings Programming idioms Primitive recursive function Well-founded relation ELEMENTARY Fold Computability theory Mathematics Theoretical computer science
150	Do the Integers Exist? The Unknowability of Arithmetic Consistency JACK T. SCHWARTZ Courant Institute It is an article of faith for most mathematicians that Peano’s axioms for arithmetic are consistent, perhaps becaus Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2005-12-01 07:11:01 Axiom Mathematical proof Foundations of mathematics Peano axioms Kurt Gödel Contradiction Zermelo–Fraenkel set theory Theorem Gottlob Frege Logic Mathematics Mathematical logic

UPDATE